analytic program proving
[計(jì)] 解析程序證明
熱門查詢
- negligee n. 隨便的衣著；女便服 adj. 衣著不整的
- handiest 最方便的 手邊的（handy的最高級(jí)）
- gratefulness n. 感激，感恩
- brigadier n. 準(zhǔn)將；陸軍準(zhǔn)將 n. (Brigadier)人名；(英)布里格迪爾
- ender [人名] 恩德
- narcotic adj. 麻醉的；有麻醉作用的；催眠的 n. [藥] 麻醉藥；鎮(zhèn)靜劑；起麻醉作用的事物
- borough n. 區(qū)；自治的市鎮(zhèn) n. (Borough)人名；(英)伯勒
- underway n. [公路] 水底通道 adj. 進(jìn)行中的；起步的；航行中的
- Finlay n. (Finlay)人名；(英)芬利
- remilitarization 重新武裝
- Hollingsworth [人名] [英格蘭人姓氏] 霍林斯沃思住所名稱，來源于古英語，含義是“冬青+圈用地”(holly+enclosure)
- leeds n. 利茲市（英國城市名）
- abstractedly adv. 茫然地；抽象地；心不在焉地
- dingle n. 幽谷；峽谷 n. (Dingle)人名；(英、葡)丁格爾 vi. 發(fā)抖；發(fā)叮當(dāng)聲
- faery n. 仙子；仙境 n. (Faery)人名；(法)費(fèi)里 adj. 仙女的；幻想的
- motorboat n. 摩托艇，汽船
- cordage n. 繩索；纖維繩；薪炭材的堆積數(shù)
- pray vi. 祈禱；請(qǐng)；懇求 vt. 祈禱；懇求；央求 n. (Pray)人名；(匈)普勞伊；(英)普雷
- reconfiguration n. 重新配置，再組和；結(jié)構(gòu)變形
- ounce n. 盎司；少量；雪豹
考試詞匯表
